Dependable keyed data entry for interactive systems

Keyed data entry for dependable interactive systems

Keyed data entry is fundamental and ubiquitous, and occurs when filling data fields in web forms, entering burglar alarm pass-codes, using calculators, entering drug delivery rates in infusion pumps, making cash withdrawals from cash machines, setting altitudes for aircraft flight control units . . . to name but a few of its applications. Unfortunately data entry is often implemented ignoring t...

A Framework for the Analysis of Dependable Interactive Systems

Digital Binary Phase-shift Keyed Signal Detector

We have developed the effective algorithm for detecting digital binary phase-shift keyed signals. This algorithm requires a small number of arithmetic operations over the signal period. It can be relatively easy implemented based on the modern programmable logic devices. It also provides high interference immunity by identifying signal presence when signal-to-noise ratio is much less that its w...

Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems

Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctness is indispensable. The main challenge to demonstrating correctness is the consistent handling of degenerate cases like collinear line segments. In this paper, we therefore propose the use of an interactive theorem p...

The Impact of Management Control Systems on Contemporary Management Accounting Practices in the Public Sector

The purpose of this paper is to investigate the effect of the interactive and diagnostic use of management control systems on the adoption and success of contemporary management accounting practices in the public sector. Contemporary management accounting practices includes: benchmarking, activity-based costing, the balanced scorecard, value chain analysis, total quality management, key perform...